Modular Feature Integration and Validation in a Synchronous Context

This paper describes a methodology for specifying and validating featurebased systems. Our solution allows the easy integration of a new feature into an existing system and to perform its validation in an incremental way. Our specification proposal is based on the synchronous approach, which proved to be well-adapted to the chosen level of abstraction. The validation process focuses on the detection of interactions between features. The validation is based on an automated testing technique driven by behavioral patterns. We provide in this paper a view of the methodology and the operations it requires. This approach can be applied to any system whose features can be modeled by automata and implemented in a synchronous style. We illustrate here its application to the problem of telecommunication feature interaction detection.